Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
331	Operational Semantics Using the Partiality Monad Nils Anders Danielsson Chalmers University of Technology and University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-10-18 07:55:38 Software engineering Programming language semantics Denotational semantics Logic in computer science Monad Lambda calculus Representation theory of finite groups Theoretical computer science Models of computation Applied mathematics
332	A Brief Scientific Biography of Robin Milner Gordon Plotkin, Colin Stirling & Mads Tofte Robin Milner was born in 1934 to John Theodore Milner and Muriel Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-28 12:43:45 Logic in computer science Functional languages Type theory Formal methods Models of computation Denotational semantics Logic for Computable Functions ML Robin Milner Theoretical computer science Software engineering Programming language theory
333	Free University of Bolzano–Formal Languages and Compilers. Lecture IV, [removed] – A.Artale Formal Languages and Compilers Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2012-10-18 11:15:06 Models of computation Computer science Applied mathematics Regular expression Nondeterministic finite automaton Deterministic finite automaton Regular language Finite-state machine Formal grammar Automata theory Formal languages Theoretical computer science
334	ISSN[removed], Programming and Computer Software, 2007, Vol. 33, No. 6, pp. 343–355. © Pleiades Publishing, Ltd., 2007. Original Russian Text © V.S. Gurov, M.A. Mazin, A.S. Narvsky, A.A. Shalyto, 2007, published in Programmirovanie, 2007, Vol. 33, No. 6. Add to Reading List Source URL: is.ifmo.ru Language: English - Date: 2007-11-04 10:40:05 Unified Modeling Language Models of computation Programming paradigms Diagrams Automata-based programming State diagram Finite-state machine Executable UML Model-driven architecture UML diagrams Software Computing
335	Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt Add to Reading List Source URL: yquem.inria.fr Language: English - Date: 2011-10-19 08:09:32 Computer science Formal languages Applied mathematics Finite-state machine Nondeterministic finite automaton Deterministic finite automaton Deterministic automaton Computability Regular language Automata theory Models of computation Theoretical computer science
336	Concepts, Techniques, and Models of Computer Programming PETER VAN ROY1 Add to Reading List Source URL: www.epsa.org Language: English - Date: 2003-07-08 18:21:13 Programming paradigms Models of computation Notation Programming language Futures and promises Object-oriented programming Closure Dataflow Concurrency Software engineering Computing Computer programming
337	Under consideration for publication in Math. Struct. in Comp. Science Formalizing Domains, Ultrametric Spaces and Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-11 18:09:29 Topology Logic in computer science Programming language semantics General topology Continuous function Lambda calculus Monad Denotational semantics Function Mathematics Theoretical computer science Models of computation
338	Sempere, A[removed]Animatronics, Children and Computation. Educational Technology & Society, 8 (4), [removed]Animatronics, Children and Computation Add to Reading List Source URL: www.ifets.info Language: English - Date: 2008-02-12 08:31:19 Software Actor model Concurrent computing Computer Computation Software development methodology Object-oriented programming Programming language Complexity Programming paradigms Computing Science
339	Event-Driven FRP Walid Taha, Zhanyong Wan, and Paul Hudak Department of Computer Science, Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2001-08-22 00:57:04 Programming language theory Models of computation Logic in computer science Functional programming Functional reactive programming Denotational semantics Reactive programming ALGOL 68 Software engineering Evaluation strategy Computing
340	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science

UPDATE